package base;
    /**
     * File is a subclass of FoldItem
     */
public class File extends FolderItem {
	/**
	 * The extension of the file
	 */
	private String extension;
	/**
	 * The size of the file
	 */
	private int size;
	/**
	 * Constructs a File object.
	 */
	public File(String initialName, String initialExtension, int initialSize) {
		super(initialName);
		extension = initialExtension;
		size = initialSize;
	}
	/**
	 * Obtains the extension of this file.
	 * 
	 * @return the extension of this file.
	 */
	public String getExtension() {
		return extension;
	}
	/**
	 * Obtains the size of this file.
	 * 
	 * @return the size of this file.
	 */
	public int getSize() {
		return size;
	}
	/**
	 *Set a new extension. 
	 */
	public void setExtension(String newExtension) {
		extension = newExtension;
	}
}

